#include <stdio.h>
#include <time.h>

int main()
{
    printf("CLOCKS_PER_SECOND = %d\n",CLOCKS_PER_SEC);
}
